An Analysis of Girard's Paradox
نویسنده
چکیده
منابع مشابه
Bertrand’s Paradox Revisited: More Lessons about that Ambiguous Word, Random
The Bertrand paradox question is: “Consider a unit-radius circle for which the length of a side of an inscribed equilateral triangle equals 3 . Determine the probability that the length of a ‘random’ chord of a unit-radius circle has length greater than 3 .” Bertrand derived three different ‘correct’ answers, the correctness depending on interpretation of the word, random. Here we employ geomet...
متن کاملA Note on Russell's Paradox in PAUL TAYLOR Locally Cartesian Closed Categories
Working in the fragment of Martin-L6fs extensional type theory ]-12] which has products (but not sums) of dependent types, we consider two additional assumptions: firstly, that there are (strong) equality types; and secondly, that there is a type which is universal in the sense that terms of that type name all types, up to isomorphism. For such a type theory, we give a version of Russell's para...
متن کاملOn Girard's "Candidats de Reductibilité"
We attempt to elucidate the conditions required on Girard's candidates of reducibility (in French, "candidats de reductibilité ") in order to establish certain properties of various typed lambda calculi, such as strong normalization and Church-Rosser property. We present two generalizations of the candidates of reducibility, an untyped version in the line of Tait and Mitchell, and a typed versi...
متن کاملThe Paradox of Health Policy: Revealing the True Colours of This ‘Chameleon Concept’; Comment on “The Politics and Analytics of Health Policy”
Health policy has been termed a ‘chameleon concept’, referring to its ability to take on different forms of disciplinarity as well as different roles and functions. This paper extends Paton’s analysis by exploring the paradox of health policy as a field of academic inquiry—sitting across many of the boundaries of social science but also marginalised by them. It situates contemporary approaches ...
متن کاملطراحی مدل بهبود بهرهوری با تأکید بر نقش فناوری اطلاعات
Nowadays improvement of productivity along with investment in IT is the most important goal of organizations. But at same time productivity statistics shown no improvement but rather a slow growth and that is itself has caused a paradox, namely "IT productivity paradox". This paradox has led the experts to question the productivity of IT seriously. The main purpose of this study is to examine t...
متن کامل